Practical Consideration for PLR versus WLR HCI Testing

Practical Risk-Based Testing

Practical Techniques for Automated Specification-Based Testing

Formal methods hold the most potential to raise the level of rigor in the development of software. Unfortunately, they have had only limited penetration into software development practice, due in part to their cost. In this paper, we summarize prior work, performed in collaboration with other researchers, on a specification-based testing approach called bounded exhaustive testing (BET). We then...

Usability: Practical Methods for Testing and Improvement

Most developers of interactive software and information systems want people to find their products effective, efficient and satisfying to use. People generally also want software to be easy to install, easy to learn (or to guess how to use), and usable with acceptable mental effort. Such usability issues are increasingly significant. They can be critical elements for the success of a product in...

Practical Guidelines for Testing Statistical Software

Schloss Reisensburg. Physica-Verlag, 1994. Summary Traditional tests of the accuracy of statistical software have been based on a few limited paradigms for ordinary least squares regression. Test suites based on these criteria served the statistical computing community well when software was limited to a few simple procedures. Recent developments in statistical computing require both more and l...

Practical Unit Testing for Embedded Systems